package com.shrct.businessprocess.purchase;

import com.shrct.businessprocess.purchase.RCBudgetContractProductItem;
import com.shrct.businessprocess.purchase.RCIdentifiableProductInStockEvent;
import com.shrct.businessprocess.purchase.impl.RCIdentifiablePhysicalProductInStockEventImpl;
import com.shrct.businessprocess.purchase.proxy.RCIdentifiablePhysicalProductInStockEventProxy;
import edu.fudan.mylang.pf.EntityImplementation;

@EntityImplementation(implementBy = RCIdentifiablePhysicalProductInStockEventImpl.class)
public interface RCIdentifiablePhysicalProductInStockEvent extends RCIdentifiableProductInStockEvent {
  public abstract RCBudgetContractProductItem getContractItem();
  
  public abstract RCIdentifiablePhysicalProductInStockEvent setContractItem(final RCBudgetContractProductItem contractItem);
  
  public abstract RCIdentifiablePhysicalProductInStockEventProxy toProxy();
}
